\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{ amssymb }
%\usepackage{ upgreek }
\usepackage{dsfont}
\usepackage{xspace}
\usepackage{array}
\usepackage{graphicx}
\usepackage{enumerate}

%~ \addtolength\topmargin{-1cm}
%~ \setlength\voffset{0cm}
%~ \setlength\headheight{0cm}
%~ \setlength\headsep{0cm}
%~ \setlength\oddsidemargin{1cm}
%~ \addtolength\textheight{4cm}
\usepackage{anysize}
\marginsize{1cm}{1cm}{2cm}{3cm}

\title{Apunte de Cálculo\hspace{2pt}-$\lambda$}
\date{}
\author{}

%~ \newcommand\funcion[2]{\ensuremath{\uppsi_{#1}^{#2}}}
%~ \newcommand\interp[2]{\ensuremath{\upphi_{#1}^{#2}}}
%~ \newcommand\colgate{\ensuremath{\uparrow}\xspace}
%~ \newcommand\termina{\ensuremath{\downarrow}\xspace}
%~ 
%~ \newcommand\mmleter[1]{\ensuremath{\mathcal{#1}}\xspace}
%~ 
%~ \newcommand\cc{\mmleter{C}}
%~ \newcommand\mm{\mmleter{M}}
%~ \newcommand\mprima{\mmleter{M'}}
%~ 
%~ \newcommand\PM{\ensuremath{P_{\mmleter{M}}}\xspace}
%~ \newcommand\PMas{\ensuremath{P_{\mmleter{M}}^{+}}\xspace}
%~ \newcommand\TM{\ensuremath{T_{\mmleter{M}}}\xspace}
%~ 
%~ \newcommand\SQMas{\ensuremath{SQ^{+}}\xspace}
%~ \newcommand\letraFi{\ensuremath{\varphi}\xspace}
%~ \newcommand\letraGa{\ensuremath{\Gamma}\xspace}
%~ \newcommand\letraPsi{\ensuremath{\psi}\xspace}
%~ \newcommand\NO{\ensuremath{\neg}\xspace}
%~ \newcommand\fuerza{\ensuremath{\vDash}\xspace} %puede ser \vDash \o \models
%~ \newcommand\noFuerza{\ensuremath{\nvDash}\xspace} %puede ser \vDash \o \models
%~ 
%~ \newcommand\demuestra{\ensuremath{\vdash}\xspace}
%~ \newcommand\noDemuestra{\ensuremath{\nvdash}\xspace}
%~ 
%~ \hyphenation{va-ria-bles}

\begin{document}
  \maketitle 
  
\section{Terminos}

Extendidos con los de los naturales.

\begin{tabular}{rcl}
    M & ::= & $x$ \\
      &  $|$  & true\\
      &  $|$  & false\\
      &  $|$  & if M then P else Q\\
      &  $|$  & $\lambda x$ : $\sigma$.M\\
      &  $|$  & M N\\
      &  $|$  & 0\\
      &  $|$  & succ(M)\\
      &  $|$  & isZero(M)\\
\end{tabular}

\section{Valores}

Extendidos con los de los naturales.

\begin{tabular}{rcl}
    V & ::= & true\\
      &  $|$  & false\\
      &  $|$  & $\lambda x$ : $\sigma$.M\\
      &  $|$  & 0\\
      &  $|$  & succ(M)\\
\end{tabular}

\section{Los tipos}

Extendidos con los de los naturales.

\begin{tabular}{rcl}
    $\sigma$ & ::= & Bool\\
      &  $|$  & Nat\\
      &  $|$  & $\sigma \rightarrow \rho$\\
\end{tabular}



  

\end{document}
